Double exponential function